- formal argument
- формальный параметр
English-Russian dictionary of computer science and programming. 2013.
formal argument
Смотреть что такое "formal argument" в других словарях:
Argument map — An Argument map is a visual representation of the structure of an argument in informal logic. It includes the components of an argument such as a main contention, premises, co premises, objections, rebuttals and lemmas.Argument Maps are often… … Wikipedia
argument — ar·gu·ment n 1: a reason or the reasoning given for or against a matter under discussion compare evidence, proof 2: the act or process of arguing, reasoning, or discussing; esp: oral argum … Law dictionary
Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal fallacy — In philosophy, a formal fallacy or a logical fallacy is a pattern of reasoning which is always wrong. This is due to a flaw in the structure of the argument which renders the argument invalid. A formal fallacy is contrasted with an informal… … Wikipedia
argument — noun 1 discussion ADJECTIVE ▪ bitter, heated, violent ▪ big ▪ I had a big argument with my mother this morning. ▪ little, petty … Collocations dictionary
Argument from nonbelief — Part of a series on Atheism … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal calculation — In mathematical logic, a formal calculation is sometimes defined as a calculation which is systematic, but without a rigorous justification . This means that we are manipulating the symbols in an expression using a generic substitution, without… … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
